- 2 402 202 книги
- Поиск
Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
Автор: Martin Wirsing, Автор: Martin Hofmann, Автор: Axel RauschmayerКатегория: Компьютеры
Размер книги: 5.78 Mb
Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
Автор: Martin Wirsing, Автор: Martin Hofmann, Автор: Axel Rauschmayer
Размер книги: 5.18 Mb
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Автор: Martin Wirsing, Автор: Matthias Hölzl
Размер книги: 13.54 Mb
STACS 87, Theoretical Aspects of Computer Science 4 conf
Автор: Franz J. Brandenburg, Автор: Guy Vidal-Naquet, Автор: Martin WirsingКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.38 Mb
Theoretical Aspects of Computing - ICTAC 2005, 2 conf
Автор: Dang Van Hung, Автор: Martin WirsingКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.67 Mb
Recent Trends in Algebraic Development Techniques, 16 conf., WADT 2002
Автор: Martin Wirsing, Автор: Dirk Pattinson, Автор: Rolf HennickerКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.77 Mb
STACS 88, Theoretical Aspects of Computer Science 5 conf
Автор: Robert Cori, Автор: Martin WirsingКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.89 Mb
Programming Language Implementation and Logic Programming, 4 conf., PLILP'92
Автор: Maurice Bruynooghe, Автор: Martin WirsingКатегория: CsLn_
Размер книги: 4.27 Mb
Web Engineering - 4 conf., ICWE 2004
Автор: Nora Koch, Автор: Piero Fraternali, Автор: Martin WirsingКатегория: CsLn_
Размер книги: 11.77 Mb
Adapting Proofs-as-Programs: The Curry-Howard Protocol
Автор: Iman Poernomo, Автор: John N. Crossley, Автор: Martin Wirsing
Размер книги: 4.66 Mb
Adapting proofs-as-programs
Автор: Iman Poernomo, Автор: John N. Crossley, Автор: Martin Wirsing
Размер книги: 2.25 Mb
Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)
Автор: Iman Poernomo, Автор: John N. Crossley, Автор: Martin Wirsing
Размер книги: 1.53 Mb
Software-Intensive Systems and New Computing Paradigms
Автор: Martin Wirsing, Автор: Jean-Pierre Banatre, Автор: Matthias Hölzl, Автор: Axel RauschmayerКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.54 Mb
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Автор: Martin Wirsing, Автор: Maurice Nivat
Размер книги: 6.79 Mb
Methods of Programming: Selected Papers on the CIP-Project
Автор: Manfred Broy, Автор: Martin Wirsing
Размер книги: 2.20 Mb
Radical Innovations of Software and Systems Engineering in the Future
Автор: Martin Wirsing, Автор: Alexander Knapp, Автор: Simonetta Balsamo
Размер книги: 3.50 Mb